<body>
Tools to be used on top of an ISolver.
</body>